Automated Model Building (Applied Logic): 31 (Applied Logic Series)
by Ricardo Caferra,Alexander Leitsch,Nicolas Peltier
ISBN 13: 9781402026522
Format: Hardcover (360 pages) Publisher: Springer Published: 13 Sep 2004
Save for later